описание формальное

См. также в других словарях:

• формальное описание — формальная спецификация Спецификации, выраженные с помощью формально определенного языка спецификаций. [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом… …   Справочник технического переводчика

• проспект эмиссии — Формальное письменное предложение о продаже ценных бумаг, в котором предстаааен план предлагаемого коммерческого предприятия или представлены факты, касающиеся уже существующего предприятия, которые должен знать инвестор для принятия осознанного… …   Финансово-инвестиционный толковый словарь

• Диасистема —   Формальное описание диалектов какого л. языка, при котором высокоуровневая (обычно фонологическая) система включает две или более диалектные системы. В качестве отправной точки используется языковая система, лежащая в основе описываемых… …   Словарь социолингвистических терминов

• ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… …   Православная энциклопедия

• КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… …   Физическая энциклопедия

• Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии …   Википедия

• Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил …   Википедия

• Расширенная форма Бэкуса — Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …   Википедия

• SAFER — Создатель: Джеймс Мэсси Создан: 1993 г. Опубликован …   Википедия

• Расширенная Бэкус — Наурова форма — Расширенная форма Бэкуса Наура (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие.… …   Википедия

• Расширенная форма Бэкуса-Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …   Википедия